-
1 пропозициональное исчисление
Русско-английский большой базовый словарь > пропозициональное исчисление
-
2 пропозициональное исчисление
1) Mathematics: sentence calculus, sentential calculus2) Logics: propositional calculus3) Information technology: prepositional calculusУниверсальный русско-английский словарь > пропозициональное исчисление
-
3 пропозициональное исчисление
Русско-английский политехнический словарь > пропозициональное исчисление
-
4 пропозициональное исчисление
adjlogic. AussagenkalkülУниверсальный русско-немецкий словарь > пропозициональное исчисление
-
5 пропозициональное исчисление
Russian-english psychology dictionary > пропозициональное исчисление
-
6 пропозициональное исчисление
Русско-английский биологический словарь > пропозициональное исчисление
-
7 пропозициональное исчисление
logique f propositionnelle, calcul propositionnelРусско-французский политехнический словарь > пропозициональное исчисление
-
8 пропозициональное исчисление
Dictionnaire russe-français universel > пропозициональное исчисление
-
9 пропозициональное исчисление
Русско-английский синонимический словарь > пропозициональное исчисление
-
10 расширенное исчисление высказываний, расширенное пропозициональное исчисление
Mathematics: extended propositional calculusУниверсальный русско-английский словарь > расширенное исчисление высказываний, расширенное пропозициональное исчисление
-
11 двузначное пропозициональное исчисление
Mathematics: two-valued propositional calculus (классическое)Универсальный русско-английский словарь > двузначное пропозициональное исчисление
-
12 классическое пропозициональное исчисление
Mathematics: classical propositional calculusУниверсальный русско-английский словарь > классическое пропозициональное исчисление
-
13 конструктивное пропозициональное исчисление
Mathematics: constructive propositional calculusУниверсальный русско-английский словарь > конструктивное пропозициональное исчисление
-
14 минимальное пропозициональное исчисление
Mathematics: minimal propositional calculusУниверсальный русско-английский словарь > минимальное пропозициональное исчисление
-
15 многозначное пропозициональное исчисление
1) Biology: many-valued prepositional calculus2) Mathematics: multivalued propositional calculusУниверсальный русско-английский словарь > многозначное пропозициональное исчисление
-
16 модальное пропозициональное исчисление
Mathematics: modal propositional calculusУниверсальный русско-английский словарь > модальное пропозициональное исчисление
-
17 позитивное пропозициональное исчисление
Mathematics: positive propositional calculusУниверсальный русско-английский словарь > позитивное пропозициональное исчисление
-
18 расширенное пропозициональное исчисление
Biology: extended prepositional calculusУниверсальный русско-английский словарь > расширенное пропозициональное исчисление
-
19 собственное пропозициональное исчисление
Mathematics: proper propositional calculusУниверсальный русско-английский словарь > собственное пропозициональное исчисление
-
20 частное пропозициональное исчисление
Mathematics: partial propositional calculusУниверсальный русско-английский словарь > частное пропозициональное исчисление
- 1
- 2
См. также в других словарях:
ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз … Математическая энциклопедия
ПОЗИТИВНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний в языке {a, , }, задаваемое следующими 8 схемами аксиом: и правилом вывода модус поненс, П. п. и. содержит ту часть интуиционистского исчисления высказываний I (см. Интуиционизм), к рая не зависит от отрицания, а именно:… … Математическая энциклопедия
ИМПЛИКАТИВНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — пропозициональное исчисление, использующее единственную исходную связку (импликацию). Примерами И. п. и. являются полное (или классическое) И. п. и., задаваемое аксиомами и правилами вывода: модус поненс и подстановка, а также позитивное И. п. и … Математическая энциклопедия
МИНИМАЛЬНОЕ ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ, — минимальное исчисление высказываний, логическое исчисление, получающееся из позитивного пропозиционального исчисления П добавлением новой связки (отрицание) и схемы аксиом к рая наз. законом приведения к абсурду. М. п. и. отличается тем, что в… … Математическая энциклопедия
ВЫСКАЗЫВАНИЙ ИСЧИСЛЕНИЕ — пропозициональное исчисление, общее название дедуктивных систем, выводимые объекты к рых интерпретируются как суждения, составленные из простейших (не анализируемых в рамках В. и.) суждений при помощи пропозициональных связок (таких, как не , и … Математическая энциклопедия
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… … Философская энциклопедия
ЛОГИЧЕСКИЕ СВЯЗКИ — ЛОГИЧЕСКИЕ СВЯЗКИ символы логических языков, используемые для образования сложных высказываний (формул) из элементарных. Логическими связками называют также соответствующие этим символам союзы естественного языка. Обычно используются такие… … Философская энциклопедия
формальная теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система… … Словарь терминов логики
ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… … Философская энциклопедия
временная логика — ВРЕМЕННАЯ ЛОГИКА раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950 х), а также во… … Энциклопедия эпистемологии и философии науки